extension of coefficient field

[数] 系数域的扩张